New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix typos #93

Closed

MisterDA wants to merge 1 commit into jech:master from MisterDA:fix-typos

Contributor

MisterDA commented May 24, 2021

This commit fixes some typos, and switches to inline code blocks some message types that were only quoted, for consistency.


          Fix typos

00fb8d7

MisterDA force-pushed the fix-typos branch from 287d999 to 00fb8d7 Compare

May 30, 2021 10:30

Owner

jech commented Jun 9, 2021

Applied the typos, but not the formatting changes. Thanks.

jech closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet